Turing attended Wittgenstein's lectures on the philosophy of mathematics in Cambridge in 1939 and disagreed strongly with a line of argument that Wittgenstein was pursuing which wanted to allow contradictions to exist in mathematical systems. Wittgenstein argues that he can see why people don't like contradictions outside of mathematics but cannot see what harm they do inside mathematics. Turing is exasperated and points out that such contradictions inside mathematics will lead to disasters outside mathematics: bridges will fall down. Only if there are no applications will the consequences of contradictions be innocuous. Turing eventually gave up attending these lectures. His despair is understandable. The inclusion of just one contradiction (like 0 = 1) in an axiomatic system allows any statement about the objects in the system to be proved true (and also proved false). When Bertrand Russel pointed this out in a lecture he was once challenged by a heckler demanding that he show how the questioner could be proved to be the Pope if 2 + 2 = 5. Russel replied immediately that 'if twice 2 is 5, then 4 is 5, subtract 3; then 1 = 2. But you and the Pope are 2; therefore you and the Pope are 1'! A contradictory statement is the ultimate Trojan horse. . John D. Barrow
Some Similar Quotes
  1. The opposite of love is not hate, it's indifference. The opposite of art is not ugliness, it's indifference. The opposite of faith is not heresy, it's indifference. And the opposite of life is not death, it's indifference. - Elie Wiesel
  2. Is it possible, in the final analysis, for one human being to achieve perfect understanding of another? We can invest enormous time and energy in serious efforts to know another person, but in the end, how close can we come to that person's essence? We... - Haruki Murakami
  3. The day the power of love overrules the love of power, the world will know peace. - Mahatma Gandhi
  4. He suddenly recalled from Plato's Symposium: People were hermaphrodites until God split then in two, and now all the halves wander the world over seeking one another. Love is the longing for the half of ourselves we have lost. - Milan Kundera
  5. It does not matter how long you are spending on the earth, how much money you have gathered or how much attention you have received. It is the amount of positive vibration you have radiated in life that matters, - Amit Ray
More Quotes By John D. Barrow
  1. There are only certain intervals of time when life of any sort is possible in an expanding universe and we can practise astronomy only during that habitable time interval in cosmic history.
  2. Since only a narrow range of the allowed values for, say, the fine structure constant will permit observers to exist in the Universe, we must find ourselves in the narrow range of possibilities which permit them, no matter how improbable they are. We must ask...
  3. Turing attended Wittgenstein's lectures on the philosophy of mathematics in Cambridge in 1939 and disagreed strongly with a line of argument that Wittgenstein was pursuing which wanted to allow contradictions to exist in mathematical systems. Wittgenstein argues that he can see why people don't like...
  4. We can measure the fine structure constant with very great precision, but so far none of our theories has provided an explanation of its measured value. One of the aims of superstring theory is to predict this quantity precisely. Any theory that could do that...
  5. If the deep logic of what determines the value of the fine-structure constant also played a significant role in our understanding of all the physical processes in which the fine-structure constant enters, then we would be stymied. Fortunately, we do not need to know everything...
Related Topics